Discrete Event Systems
نویسنده
چکیده
2 Systems and Models 7 2.1 Classification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.2 Input and output representations . . . . . . . . . . . . . . . . . . . . 10 2.2.1 Time Driven Systems . . . . . . . . . . . . . . . . . . . . . . 10 2.2.2 Event Driven Systems . . . . . . . . . . . . . . . . . . . . . 11 2.3 Time . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.4 State . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.5 Discrete Event Systems . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.6 Examples of Discrete Event Systems . . . . . . . . . . . . . . . . . . 21 2.6.1 Embedded Systems . . . . . . . . . . . . . . . . . . . . . . . 21 2.6.2 Models of Computation . . . . . . . . . . . . . . . . . . . . 22 2.6.3 Queuing Systems . . . . . . . . . . . . . . . . . . . . . . . . 24
منابع مشابه
Recent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملDetermination of optimum of production rate of network failure prone manufacturing systems with perishable items using discrete event simulation and Taguchi design of experiment
This paper, considers Network Failure Manufacturing System (NFPMS) and production control policy of unreliable multi-machines, multi-products with perishable items. The production control policy is based on the Hedging Point Policy (HPP). The important point in the simulation of this system is assumed that the customers who receive perishable item are placed in priority queue of the customers w...
متن کامل